mathematical logic (field of study)